English translation for "programme de hilbert"

hilbert's program

Example Sentences:

	1.	Partial realizations of Hilbert's program. Article détaillé : Programme de Hilbert.
	2.	Partial realizations of Hilbert's program. Article détaillé : Programme de Hilbert.
	3.	Hilbert's program for mathematics was to justify those formal systems as consistent in relation to constructive or semi-constructive systems. Le programme de Hilbert pour les mathématiques était de justifier des systèmes formels comme cohérents par rapport à des systèmes constructifs ou semi-constructifs.
	4.	In 1920 he proposed explicitly a research project (in metamathematics, as it was then termed) that became known as Hilbert's program. En 1920, il propose explicitement un programme de recherche en métamathématique qui sera connu plus tard sous le nom de programme de Hilbert.
	5.	While Gödel's results on incompleteness mooted Hilbert's Program to a great extent, modern researchers find the epsilon calculus to provide alternatives for approaching proofs of systemic consistency as described in the epsilon substitution method. Alors que les résultats de Gödel sur l'incomplétude rendirent le programme de Hilbert stérile dans une grande mesure, les chercheurs contemporains considèrent que l'epsilon de Hilbert fournit des solutions de rechange pour approcher les preuves de cohérence systémique comme décrit dans la méthode de substitution epsilon.

Similar Words：

"programme de formation de cadets de l'aviation américaine" English translation, "programme de formation et d'équipement en géorgie" English translation, "programme de formation v-12 navy college" English translation, "programme de gotha" English translation, "programme de hamilton" English translation, "programme de l'union européenne" English translation, "programme de la navette spatiale américaine" English translation, "programme de langlands" English translation, "programme de liens" English translation